Jäger, Egon : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (74)
Les plus populaires
Liste
- Liste
- Tableau

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 756 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A new approach to abstract data types II computation on ADTs as ordinary computation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 870 KB

english, 1992

Rapid Synthesis of Radioactive Transition-Metal Carbonyl Complexes at Ambient Conditions

Even, Julia, Yakushev, Alexander, Düllmann, Christoph E., Dvorak, Jan, Eichler, Robert, Gothe, Oliver, Hild, Daniel, Jäger, Egon, Khuyagbaatar, Jadambaa, Kratz, Jens V., Krier, Jörg, Niewisch, Lorenz,

Journal:

Inorganic Chemistry

Année:

2012

Langue:

english

Fichier:

PDF, 258 KB

english, 2012

High Performance Computing in Science and Engineering ’02 || Thermodynamics and Dynamics of Correlated Electron Systems

Krause, Egon, Jäger, Willi

Année:

2003

Langue:

english

Fichier:

PDF, 2.05 MB

english, 2003

High Performance Computing in Science and Engineering ’02 || Application of the Lattice Boltzmann CFD Method on HPC Systems to Analyse the Flow in Fixed-Bed Reactors

Krause, Egon, Jäger, Willi

Année:

2003

Langue:

english

Fichier:

PDF, 1.81 MB

english, 2003

High Performance Computing in Science and Engineering ’01 || Euler and Navier-Stokes Solutions for Flapping Wing Propulsion

Krause, Egon, Jäger, Willi

Année:

2002

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2002

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On transitive closure logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 898 KB

english, 1992

High Performance Computing in Science and Engineering’ 04 || Numerical Simulation of Electrostatic Spray-painting Processes in the Automotive Industry

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 668 KB

english, 2005

High Performance Computing in Science and Engineering ’98 || Parallel Computation of Electromagnetic Fields Based on Integral Equations

Krause, Egon, Jäger, Willi

Année:

1999

Langue:

english

Fichier:

PDF, 1.30 MB

english, 1999

High Performance Computing in Science and Engineering ’02 || Massively Parallel DNS of Flame Kernel Evolution in Spark-Ignited Turbulent Mixtures

Krause, Egon, Jäger, Willi

Année:

2003

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2003

High Performance Computing in Science and Engineering’ 04 || Potential Energy Surfaces of Unusual Double Proton Transfer Reactions

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 416 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Investigation of Hypersonic Flat-plate Boundary-layer Transition by Direct Numerical Simulation

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 405 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Combination of Detailed CFD Simulations Using the Lattice Boltzmann Method and Experimental Measurements Using the NMR/MRI Technique

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 848 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 ||

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 21.45 MB

english, 2005

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Proving termination for term rewriting systems

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 539 KB

english, 1992

Electron stripping of Bi ions using a modified 1.4 MeV/u gas stripper with pulsed gas injection

Scharrer, Paul, Jäger, Egon, Barth, Winfried, Bevcic, Mario, Düllmann, Christoph E., Groening, Lars, Horn, Klaus-Peter, Khuyagbaatar, Jadambaa, Krier, Jörg, Yakushev, Alexander

Journal:

Journal of Radioanalytical and Nuclear Chemistry

Année:

2015

Langue:

english

Fichier:

PDF, 973 KB

english, 2015

In-situ formation, thermal decomposition, and adsorption studies of transition metal carbonyl complexes with short-lived radioisotopes

Even, Julia, Yakushev, Alexander, Düllmann, Christoph Emanuel, Dvorak, Jan, Eichler, Robert, Gothe, Oliver, Hartmann, Willy, Hild, Daniel, Jäger, Egon, Khuyagbaatar, Jadambaa, Kindler, Birgit, Kratz,

Journal:

Radiochimica Acta

Année:

2014

Langue:

english

Fichier:

PDF, 1.99 MB

english, 2014

High Performance Computing in Science and Engineering ’03 || Rayleigh-Bénard Convection at Large Aspect Ratios

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2003

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2003

-gas stripper cell

Barth, Winfried, Adonin, Aleksey, Düllmann, Christoph E., Heilmann, Manuel, Hollinger, Ralph, Jäger, Egon, Khuyagbaatar, Jadambaa, Krier, Joerg, Scharrer, Paul, Vormann, Hartmut, Yakushev, Alexander

Journal:

Physical Review Special Topics - Accelerators and Beams

Année:

2015

Langue:

english

Fichier:

PDF, 2.87 MB

english, 2015

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Comparing the theory of representations and constructive mathematics

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 750 KB

english, 1992

High Performance Computing in Science and Engineering’ 04 || LES of Passive Heat Transfer in a Turbine Cascade

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 657 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Computational Fluid Dynamics

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 135 KB

english, 2005

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Complexity results for the default- and the autoepistemic logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 802 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Plausibility logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 776 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Some aspects of the probabilistic behavior of variants of resolution

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 510 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Denotational versus declarative semantics for functional programming

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On bounded theories

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 394 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A cut-elimination procedure designed for evaluating proofs as programs

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 566 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Towards Kleene Algebra with recursion

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 832 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Correctness proof for the WAM with types

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 1.14 MB

english, 1992

High Performance Computing in Science and Engineering’ 04 || Numerical High Lift Research II/III

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Numerical Considerations of Fluid Effects on Wave Propagation

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 466 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Quantum Reactive Scattering for Ion-neutral Collisions: The H 3 − -system

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 669 KB

english, 2005

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Minimal from classical proofs

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 137 KB

english, 1992

High Performance Computing in Science and Engineering’ 04 || Recent Improvements of the Parallel-Multiblock URANUS 3D Nonequilibrium Code

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 934 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Methylchloride Adsorption on Si(001) — Electronic Properties

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 632 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Large-eddy Simulation of Incompressible Flow Around a Sphere with Trip Wire at Re = 50 000

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 613 KB

english, 2005

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Model checking of persistent Petri nets

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 846 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Logical semantics of modularisation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 469 KB

english, 1992

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Control of ω-automata, Church's problem, and the emptiness problem for tree ω-automata

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 889 KB

english, 1992

High Performance Computing in Science and Engineering’ 04 || Glycine at the Water / Pyrite Interface Under Extreme Pressure / Temperature Conditions

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 423 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Interaction of Jets with Galactic Winds

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 499 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || The Mixed Akali Effect in Ternary Alkali Silicate Melts: Insight from Molecular Dynamics Computer simulations

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 405 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Dynamics and Criticality of Correlated Electrons and Quantum Gases

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 625 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Physics

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 116 KB

english, 2005

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Normal forms in infinite-valued logic: The case of one variable

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 274 KB

english, 1992

High Performance Computing in Science and Engineering’ 04 || Image States on the LiF(001)-(1×1) Insulator Surface

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 530 KB

english, 2005

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Quantifier hierarchies over word relations

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Année:

1992

Langue:

english

Fichier:

PDF, 546 KB

english, 1992

High Performance Computing in Science and Engineering’ 04 || Large Scale Simulation of a Cooled, Pulsed Jet in Symbiotic Stars

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 469 KB

english, 2005

High Performance Computing in Science and Engineering’ 04 || Electron-doping Evolution of the Quasiparticle Band of the Cuprates

Krause, Egon, Jäger, Willi, Resch, Michael

Année:

2005

Langue:

english

Fichier:

PDF, 566 KB

english, 2005